Prof. Dr. Martin Fränzle Department of Computing Science University of OldenburgOldenburg Germany Email:

Source URL: www.avacs.org

Stochastic Model Checking? Marta Kwiatkowska, Gethin Norman, and David Parker School of Computer Science, University of Birmingham Edgbaston, Birmingham B15 2TT, United Kingdom Abstract. This tutorial presents an overvi

Source URL: qav.comlab.ox.ac.uk

• Mathematics
• Temporal logic
• Mathematical analysis
• Mathematical logic
• Formal languages
• Model theory
• Generalized functions
• Computation tree logic
• Logic in computer science
• Linear temporal logic
• Interpretation
• IP

Description Logics ILCS 2007 Introduction to Logic in Computer Science: Autumn 2007

Source URL: formal.iti.kit.edu

• Logic
• Non-classical logic
• Mathematical logic
• Metaphysics
• Philosophical logic
• Artificial intelligence
• Description logic
• Information science
• Model theory
• Modal logic
• First-order logic
• Web Ontology Language

Published as a conference paper at ICLRM AKING N EURAL P ROGRAMMING A RCHITECTURES G ENERALIZE VIA R ECURSION Jonathon Cai, Richard Shin, Dawn Song Department of Computer Science

Source URL: people.eecs.berkeley.edu

• Computer programming
• Software engineering
• Computing
• Recursion
• Computability theory
• Theoretical computer science
• Subroutines
• Algorithms
• Quicksort
• Divide and conquer algorithm
• Recurrent neural network
• Artificial neural network

Reading Wikipedia to Answer Open-Domain Questions Adam Fisch, Jason Weston & Antoine Bordes Danqi Chen∗ Facebook AI Research Computer Science 770 Broadway

Source URL: arxiv.org

• Computational linguistics
• Artificial intelligence
• Linguistics
• Computational science
• Question answering
• Semantic parsing
• Training
• test
• and validation sets
• Cyc
• Artificial neural network
• Reading comprehension
• Named-entity recognition
• Wikipedia

GOV200X – The Politics of Plague Worcester Polytechnic Institute Social Science and Policy Studies Department Sample Syllabus Course Information Professor Patricia Stapleton

Source URL: www.patriciastapleton.com

• Health
• Medicine
• Global health
• Epidemiology
• Biological weapons
• Tropical diseases
• Zoonoses
• Ebola virus disease
• World Health Organization
• Pandemic
• Public health
• Infection

Operator Counting Heuristics for Probabilistic Planning Felipe Trevizan, Sylvie Thi´ebaux, Patrik Haslum Data61, CSIRO and Research School of Computer Science, Australian National University Abstr

Source URL: users.cecs.anu.edu.au

• Mathematics
• Heuristics
• Edsger W. Dijkstra
• Automated planning and scheduling
• Mathematical optimization
• Shortest path problem
• Admissible heuristic
• Search algorithm
• Methodology
• Algorithm
• Cognition

Baris Kasikci Assistant Professor Electrical Engineering and Computer Science University of Michigan 4820 BBB 2260 Hayward Street

Source URL: web.eecs.umich.edu

• Computing
• Technology
• California
• EMC Corporation
• VMware
• Embedded system
• Synopsys
• USENIX Annual Technical Conference
• Debugging
• Intel
• Software Guard Extensions
• Edouard Bugnion

August 21, 2018 The Honorable John Thune, Chairman The Honorable Bill Nelson, Ranking Member U.S. Senate Committee on Commerce, Science, & Transportation 512 Dirksen Senate Office Building Washington, DC 20510

Source URL: www.epic.org

• Government
• Privacy
• Technology
• Electronic Privacy Information Center
• Politics and technology
• Marc Rotenberg
• United States Department of Homeland Security
• Artificial intelligence
• Algorithmic transparency
• Office of Science and Technology Policy
• Freedom of Information Act
• Ai

Leveraging Crowdsourcing for the Thematic Annotation of the Qur’an Amna Basharat, I. Budak Arpinar, Khaled Rasheed Dept. of Computer Science, University of Georgia, Athens, GA, 30605 USA amnabash,budak,

Source URL: gdac.uqam.ca

• Information science
• Knowledge representation
• Knowledge engineering
• Artificial intelligence
• Knowledge
• Computational linguistics
• Natural language processing
• Crowdsourcing
• Ontology
• Semantic Web
• Annotation
• General Architecture for Text Engineering